Using a Discrete-Event System Specifications (DEVS) for designing a Modelica compiler

We introduce a new architecture for the design of a tool for modeling and simulation of continuous and hybrid systems. The environment includes a compiler based on Modelica, a modular and a causal standard specification language for physical systems modeling (the tool supports models composed using certain component classes defined in the Modelica Standard Library, and the instantiation, parameterization and connection of these MSL components are described using a subset of Modelica). Models are defined in Modelica and are translated into DEVS models. DEVS theory (originally defined for modeling and simulation of discrete event systems) was extended in order to permit defining these of models. The different steps in the compiling process are show, including how to model these dynamic systems under the discrete event abstraction, including examples of model simulation with their execution results.     

Global stable tracking control of underactuated ships with input saturation

In this paper, tracking control of underactuated ship in the presence of input saturation is addressed. By dividing the tracking error dynamic system into a cascade of two subsystems, the torques in surge and yaw axes are designed separately using the backstepping technique. More specifically, we design the yaw axis torque in such a way that its corresponding subsystem is finite time stable, which makes it to be de-coupled from the second subsystem after a finite time. This enables us to design the torque in the surge axis independently. It is shown that the closed-loop system is stable and the mean-square tracking errors can be made arbitrarily small by choosing design parameters. Simulation results also verify the effectiveness of the proposed scheme.     

Quantum computation based bundling optimization for combinatorial auction in freight service procurements

Combinatorial auction is a useful trade manner for transportation service procurements in e-marketplaces. To enhance the competition of combinatorial auction, a novel auction mechanism of two-round bidding with bundling optimization is proposed. As the recommended the auction mechanism, the shipper/auctioneer integrates the objects into several bundles based on the bidding results of first round auction. Then, carriers/bidders bid for the object bundles in second round. The bundling optimization is described as a multi-objective model with two criteria on price complementation and combination consistency. A Quantum Evolutionary Algorithm (QEA) with β-based rotation gate and the encoding scheme based on non-zero elements in complementary coefficient matrix is developed for the model solution. Comparing with a Contrast Genetic Algorithm, QEA can achieve better computational performances for small and middle size problems.     

An object replication algorithm for real-time distributed databases

A real-time distributed database system (RTDDBS) must maintain the consistency constraints of objects and must also guarantee the time constraints imposed by each request arriving at the system. Such a time constraint of a request is usually defined as a deadline period, which means that the request must be serviced on or before its time constraint. Servicing these requests may incur I/O costs, control-message transferring costs or data-message transferring costs. As a result, in our work, we first present a mathematical model that considers all these costs. Using this cost model, our objective is to service all the requests on or before their respective deadline periods and minimize the total servicing cost. To this end, from theoretical standpoint, we design a dynamic object replication algorithm, referred to as Real-time distributed dynamic Window Mechanism (RDDWM), that adapts to the random patterns of read-write requests. Using competitive analysis, from practical perspective, we study the performance of RDDWM algorithm under two different extreme conditions, i.e., when the deadline period of each request is sufficiently long and when the deadline period of each request is very short. Several illustrative examples are provided for the ease of understanding. Recommended by: Ashfaq Khokhar     

数字电视用户管理系统

课题实现了数字电视用户管理系统的设计与开发,以Oracle数据库作为后台数据库,以C Builder 6作为前台开发工具,包括表的设计与界面的设计.实现了数字电视用户管理系统基本功能,基本上满足了实际商业运营的需要.     

SQL的现状及其研究与发展

一、SQL简介 如果说七十年代关系数据库还处于研制实验阶段,那么到了八十年代大量关系数据库商用产品的面市几乎占据了整个数据库市场,其中的原因在于它们使用了统一的语言界面,那就是,SQL成为了关系数据库的通用语言。 1974年．IBM公司San Jose研究实验室的D．D．Chamberlin在开发SEQUEL-XRM原型时提出了SE-QUEL(Structured English Query Language),1976年又修改成为SEQUEL／2．也就是目前的SQL(StructuredQuer Language)。SEQUEL／2主要成形于IBM的Sys-tem R原型中[2],并在原有基础上大加扩展,其后逐渐完善并最终成为一种完备的结构化数据库查询语言。     

数据采集与监控软件Genie

Genie是具有国际先进水平的数据采集与监控软件，它提供了一个面向对象的图形化用户界面，因此简化了数据采集过程、控制应用程序开发和操作员界面。本文介绍了Genie的特点、功能、基本用途以及VISUALBA－SIC在设计这类监控软件中的作用。     

条件概率关系数据库模型

现实世界中大量存在着的不确定性信息，关系数据库模型仅视它们为空值，有必要增强其处理这类信息的能力，文章在总结前人工作的基础上推广关系数据库模型，创建有效处理随机型不确定性信息的条件概念关系数据库模型，该模型通过在关系模式中增加一个条件概率测度属性，为每条记录指定适当的条件概率的途径，来表示不确定性信息。文中以对象码为基本工具，创建了条件概率关系结构；以特征函数为基本工具，定义了一套基于该结构的代数运算规则。条件概率的语意比概率的语意广泛，灵活，因而该模型能有效克服概率关系模型的许多不足。     

Real-Time Three-Dimensional Occupancy Grid Modeling for the Detection and Tracking of Construction Resources

Awareness of the construction environment can be improved by automatic three-dimensional (3D) sensing and modeling of job sites in real time. Commercially available 3D modeling approaches based on range scanning techniques are capable of modeling static objects only, and thus cannot model dynamic objects in real time in an environment comprised of moving humans, equipment, and materials. Emerging prototype video range cameras offer an alternative by facilitating affordable, wide field of view, dynamic object tracking at frame rates better than 1?Hz (real time). This paper describes a methodology to model, detect, and track the position of static and moving objects in real time, based on data obtained from video range cameras. Experiments with this technology have produced results that indicate that video rate 3D data acquisition and analysis of construction environments can support effective modeling, detection, and tracking of project resources. This approach to job site awareness has inherent value and broad application. In combination with effective management practices and other sensing techniques, this technology has the potential to significantly improve safety on construction job sites.     

红外目标精跟踪方法的研究

本文提出了一种直接把红外前视传感器的输出作为测量值来跟踪红外目标的扩展型卡尔曼滤波跟踪算法。在滤波处理时,设置可变的测量矩阵,其目的在于提高运算速度和抑制噪声干扰。通过具体的实例,对所提跟踪算法的特点和有效性进行了细致的分析。